(declare-fun _substvar_347_ () Bool)
(declare-const v2 Bool)
(declare-const v5 Bool)
(declare-const r1 Real)
(declare-const r11 Real)
(declare-const r13 Real)
(declare-const v12 Bool)
(declare-const r18 Real)
(declare-const r19 Real)
(assert (or (> r11 r13 r1 0.0) _substvar_347_ v5))
(assert (or v12 v12 v2))
(check-sat)
